Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
نویسندگان
چکیده
منابع مشابه
Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
The ability to engineer synthetic systems in the biochemical context is constantly being improved and has a profound societal impact. Linear system design is one of the most pervasive methods applied in control tasks, and its biochemical realization has been proposed by Oishi and Klavins and advanced further in recent years. However, several technical issues remain unsolved. Specifically, the d...
متن کاملConfigurable Linear Control of Biochemical Systems
Tai-Yin Chiu, Ruei-Yang Huang, Hui-Ju K. Chiang, Jie-Hong R. Jiang, and François Fages Department of Physics, National Taiwan University, Taipei 10617, Taiwan Graduate Institute of Electronics Engineering, National Taiwan University, Taipei 10617, Taiwan Department of Electrical Engineering, National Taiwan University, Taipei 10617, Taiwan EPI Lifeware, Inria Paris-Rocquencourt, France {b992020...
متن کاملSynthesizing Customized Planners from Specifications
Existing plan synthesis approaches in artiicial intelligence fall into two categories { domain independent and domain dependent. The domain independent approaches are applicable across a variety of domains, but may not be very eecient in any one given domain. The domain dependent approaches need to be (re)designed for each domain separately, but can be very eecient in the domain for which they ...
متن کاملSynthesizing State-Based Object Systems from LSC Specifications
Live sequence charts (LSCs) have been defined recently as an extension of message sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object specification. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one to specify forbidden scenarios. LSCs are thus essentially as expressive as statecharts...
متن کاملSynthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications
To build survivable information systems (i.e., systems that continue to provide their services in spite of coordinated attacks), it is necessary to detect and isolate intrusions before they impact system performance or functionality. Previous research in this area has focussed primarily on detecting intrusions after the fact, rather than preventing them in the rst place. We have developed a new...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLOS ONE
سال: 2015
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0137442